On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories1 Francisco Dur´an Universidad de M´ alaga, Spain

Source URL: maude.cs.uiuc.edu

• Mathematical structures
• Model theory
• Formal languages
• Algebraic structures
• Metalogic
• Structure
• Rewriting
• Maude system
• Unification
• Mathematical logic
• Mathematics
• Logic